#ifndef DFATEST_H_
#define DFATEST_H_

#include <iostream>
#include <ostream> 
#include <string>
#include <set>
#include "TestProgram.h"
#include "../Ndfa/Transition.h"
#include "../Ndfa/Dfa.h"

using namespace std;
using namespace dfa;

class DfaTest 
	: public TestProgram
{
public:
	DfaTest();
	~DfaTest();
protected:
	void testProgram();
};

#endif
